A Robust Semantics Hides Fewer Errors
نویسندگان
چکیده
In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics.
منابع مشابه
The role of Persian causative markers in the acquisition of English causative verbs
This project investigates the relationship between lexical semantics and causative morphology in the acquisition of causative/inchoative-related verbs in English as a foreign language by Iranian speakers. Results of translation and picture judgment task show although L2 learners have largely acquired the correct lexico-syntactic classification of verbs in English, they were constrained by ...
متن کاملSaturated Neural Adaptive Robust Output Feedback Control of Robot Manipulators:An Experimental Comparative Study
In this study, an observer-based tracking controller is proposed and evaluatedexperimentally to solve the trajectory tracking problem of robotic manipulators with the torque saturationin the presence of model uncertainties and external disturbances. In comparison with the state-of-the-artobserver-based controllers in the literature, this paper introduces a saturated observer-based controllerbas...
متن کاملThe Relative Importance of Spaces and Meaning in Reading
The relative importance of meaning (semantic context) and spaces between words during reading was investigated. Sub jects read paragraphs of coherent or incoherent text aloud; some paragraphs were presented normally, others with spaces between words removed. Coherent paragraphs were taken from a short story. Incoherent paragraphs had the same words and punctuation as the coherent paragraphs, bu...
متن کاملA Novel Patch-Based Digital Signature
In this paper a new patch-based digital signature (DS) is proposed. The proposed approach similar to steganography methods hides the secure message in a host image. However, it uses a patch-based key to encode/decode the data like cryptography approaches. Both the host image and key patches are randomly initialized. The proposed approach consists of encoding and decoding algorithms. The encodin...
متن کاملA Study of Translation Problems of Tourism Industry Guidebooks: An Error Analysis Perspective
This study was motivated by the researchers’ goal to unfold the quality of the English translations of Persian tourism industry texts and discover the most frequent error patterns the Iranian non-native translators have committed in such texts. Thus, the following research questions were addressed: 1) Are the English versions of Persian tourist guidebooks and multimedia compact discs provided b...
متن کامل